102 research outputs found
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond
Term rewriting systems are important for computability theory of abstract data types, for automatic theorem proving, and for the foundations of functional programming. In this short survey we present, starting from first principles, several of the basic notions and facts in the area of term rewriting. Our treatment, which often will be informal, covers abstract rewriting, Combinatory Logic, orthogonal systems, strategies, critical pair completion, and some extended rewriting formats
A Matter of capabilities
Contains fulltext :
163374.pdf (publisher's version ) (Open Access
- …